From d3a4246c9e77f2e57862b737664c567fbfd71403 Mon Sep 17 00:00:00 2001 From: Gerd Moellmann Date: Mon, 15 Jan 2001 20:15:25 +0000 Subject: [PATCH] *** empty log message *** --- src/ChangeLog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ChangeLog b/src/ChangeLog index 77967e7c5b6..6f0390ed7e9 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,6 +1,6 @@ 2001-01-15 Gerd Moellmann - * xterm.c (x_set_mouse_face_gc): If the last use mouse face + * xterm.c (x_set_mouse_face_gc): If the last used mouse face has gone in the meantime, use face MOUSE_FACE_ID. * xterm.c (x_connection_closed) [USE_X_TOOLKIT]: If -- 2.30.2